#include<stdio.h>
#include "add.h"
int main()
{
	int a = 10,b = 12;
	printf("int a + b IS: %d\n", add_int(a,b));
	return 0;
}

